/* #t */
true
/* #f */
false
/* (or #t #f) */
true || false
/* (and #f #t) */
false && true
/* (not #f) */
!false
/* (or (and a b) c (not d)) */
(a && b) || c || (!d)
